121. Computability, complexity, and languages
المؤلف: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
122. Computability, complexity, and languages :
المؤلف: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
123. Computability, complexity, and languages
المؤلف: Martin D. Davis, Elaine J. Weyuker,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
124. Computability, complexity, and languages : fundamentals of theoretical computer science
المؤلف: Davis, Martin, 8291-
المکتبة: (طهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
125. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
موضوع : ، Machine theory,، Computational complexity,، Formal languages
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
126. Computability, complexity, and languages fundamentals of theoretical computer science
المؤلف: Davis, Martin
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
127. Computability, complexity, and languages : fundamentals of theoretical computer science
المؤلف: Davis, Martin, 8291-
المکتبة: (طهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
128. Current trends in theoretical computer science: essays and tutorials
المؤلف: edited by G. Rozenberg, A. Salomua
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Machine theory,، formal languages
رده :
QA
267
.
C87
129. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
130. Descriptional complexity of formal systems :
المؤلف: Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
131. Descriptional complexity of formal systems :
المؤلف: Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
رده :
QA267
.
3
.
D34
2011
132. Discrete mathematics: applied algebra for computer and information science
المؤلف: / Leonard S. Bobrow, Michael A. Arbib
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Machine theory,Formal languages,Algebra, abstract
رده :
512
.
02
B663d
133. #Elements of the theory of computation
المؤلف: #Harry R. Lewis, Christos H. Papadimitriou
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Machine theory ،Formal languages ،Computational complexity ،Logic, Symbolic and mathematical
رده :
#
QA
،#.
L49
،#
1998
134. Elements of the theory of computation
المؤلف: / Harry R. Lewis, Christos H. Papadimitriou
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
135. Elements of the theory of computation
المؤلف: Lewis, Harry R
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
136. Elements of the theory of computation
المؤلف: / Harry R. Lewis, Christos H. Papadimitriou
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
137. Elements of the theory of computation
المؤلف: Lewis, Harry R.
المکتبة: (طهران)
موضوع: Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
رده :
QA
267
.
L49
1998
138. Elements of the theory of computation
المؤلف: Lewis, Harry R.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
139. Elements of the theory of computation
المؤلف: Lewis, Harry R.
المکتبة: (طهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
